Skip to content

Conversation

@nabobalis
Copy link
Member

@nabobalis nabobalis commented Dec 3, 2025

Fixes #6

Also fixes my mistakes from the previous PR.

@nabobalis nabobalis marked this pull request as ready for review December 3, 2025 21:13
@nabobalis nabobalis merged commit 85e5cd0 into main Dec 3, 2025
2 checks passed
@nabobalis nabobalis deleted the ci branch December 3, 2025 21:24
@mstimberg
Copy link
Contributor

Thanks for picking this up @nabobalis!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants